Łukasiewicz’s infinite-valued logic is commonly defined as the set of formulas that take the value 1 under all evaluations in the Łukasiewicz algebra on the unit real interval. In the literature a deductive system axiomatized in a Hilbert style was associated to it, and was later shown to be semantically defined from Łukasiewicz algebra by using a “truth-preserving” scheme. This deductive system is algebraizable, non-selfextensional and does not satisfy the deduction theorem. In addition, there exists no Gentzen calculus fully adequate (...) for it. Another presentation of the same deductive system can be obtained from a substructural Gentzen calculus. In this paper we use the framework of abstract algebraic logic to study a different deductive system which uses the aforementioned algebra under a scheme of “preservation of degrees of truth”. We characterize the resulting deductive system in a natural way by using the lattice filters of Wajsberg algebras, and also by using a structural Gentzen calculus, which is shown to be fully adequate for it. This logic is an interesting example for the general theory: it is selfextensional, non-protoalgebraic, and satisfies a “graded” deduction theorem. Moreover, the Gentzen system is algebraizable. The first deductive system mentioned turns out to be the extension of the second by the rule of Modus Ponens. (shrink)

In this paper we show that, in Gentzen systems, there is a close relation between two of the main characters in algebraic logic and proof theory respectively: protoalgebraicity and the cut rule. We give certain conditions under which a Gentzen system is protoalgebraic if and only if it possesses the cut rule. To obtain this equivalence, we limit our discussion to what we call regular sequent calculi, which are those comprising some of the structural rules and some logical rules, in (...) a sense we make precise. We note that this restricted set of rules includes all the usual rules in the literature. We also stress the difference between the case of two-sided sequents and the case of many-sided sequents, in which more conditions are needed. (shrink)

ABSTRACT In this paper we study consequence relations on the set of many sided sequents over a propositional language. We deal with the consequence relations axiomatized by the sequent calculi defined in [2] and associated with arbitrary finite algebras. These consequence relations are examples of what we call Gentzen systems. We define a semantics for these systems and prove a Strong Completeness Theorem, which is an extension of the Completeness Theorem for provable sequents stated in [2]. For the special case (...) of the finite linear MV-algebras, the Strong Completeness Theorem was proved in [10], as a consequence of McNaughton's Theorem. The main tool to prove this result for arbitrary algebras is the deduction-detachment theorem for Gentzen systems. (shrink)

Based on the results obtained from primary education students—fifth and sixth graders—the aim of this work is to check the appropriate self-perceived behaviors during and at the end of the game. The study population was made up of 698 students from fifth and sixth grade in the Autonomous Region of Castilla–La Mancha (Spain). Data were collected through a questionnaire (scale) on the social skills of primary school students linked to the adequate skills when losing, the adequate skills when winning, and (...) the adequate skills during the game. Study results revealed that analyzed behaviors vary, depending on the moment of the game, being it more frequently during the development of the game than when losing or winning. (shrink)

Es indudable que el inconsciente colectivo estudiado por Jung y su escuela psicoanalítica, nos ha demostrado fehacientemente que las conductas observadas y aprendidas en la infancia tanto en la familia como en la sociedad, se reproducen de manera muy similar en las generaciones jóvenes.

En las danzas rurales del norte de España pueden constatarse reminiscencias de carácter pagano. Dotadas de fuertes connotaciones sacras, su prevalencia y el interés de la juventud por secundarlas, sorprende en el entorno secular actual, de gran individualimos e hiperracional. De ahí el interés por entender los conflictos intergeneracionales surgidos en la actualidad, a través del estudio del caso de ‘La Gaita de Cervera del Río Alhama (La Rioja). Una danza que ha sido considerada marcial y que es sin embargo, (...) un conjunto de ritos sagrados de fertilidad, adaptados con la misma vocación pretérita de rito comunitario, petitorio y de tránsito. (shrink)

When considering m-sequents, it is always possible to obtain an m-sequent calculus VL for every m-valued logic (defined from an arbitrary finite algebra L of cardinality m) following for instance the works of the Vienna Group for Multiple-valued Logics. The Gentzen relations associated with the calculi VL are always finitely equivalential but might not be algebraizable. In this paper we associate an algebraizable 2-Gentzen relation with every sequent calculus VL in a uniform way, provided the original algebra L has a (...) reduct that is a distributive lattice or a pseudocomplemented distributive lattice. We also show that the sentential logic naturally associated with the provable sequents of this algebraizable Gentzen relation is the logic that preserves degrees of truth with respect to the original algebra (in contrast with the more common logic that merely preserves truth). Finally, for some particular logics we obtain 2-sequent calculi that axiomatize the algebraizable Gentzen relations obtained so far. (shrink)

A couple of decades ago natural phenomena began to be approached from a comprehensive and transdisciplinary point of view, as it was understood that living beings and their environments are not linear but complex. There is no doubt that this perspective of visualizing complexity and working inter-and transdisciplinarily has to be applied. The reflection on the theoretical observation (i.e. meta-observation) involved in the concept of poly-contexturality is the framework in which a theory of complex systems is possible, which in turn (...) enables an observation that oscillates (a concept of chaos theory) between modelsstructured in a hierarchical order (normally linked to a logical-deductive formalization) and models structured in hetero‐hierarchy. And this would allow this reflection to be done in a formalized language that does not follow either the principles of the Aristotelian logic or the postulates of the Kantian transcendental reflection. It is precisely this liberation from the dictates of mono-contextural logic what paves the way to an observation of complexity, in which one or the other language is used to model the states of things, such as the epistemological problems of molecular biology or the social systems. And-what is gaining relevance-it also paves the way to a true transdisciplinary meta-observation, since each discipline chooses its own contexture and only the use of poly-contexturality makesit possible to formulate transdisciplinary relationships within the framework of such meta-logic. (shrink)

The Gait Deviation Index is a multivariate measure of overall gait pathology based on 15 gait features derived from three-dimensional kinematic data. GDI aims at providing a comprehensive, easy to interpret, and clinically meaningful metric of overall gait function. It has been used as an outcome measure to study gait in several conditions: cerebral palsy, post-stroke hemiparetic gait, Duchenne muscular dystrophy, and Parkinson’s disease, among others. Nevertheless, its use in population with Spinal Cord Injury has not been studied yet. The (...) aim of the present study was to investigate the applicability of the GDI to SCI through the assessment of the relationship of the GDI with the Walking Index for Spinal Cord Injury II. 3D gait kinematics of 34 patients with incomplete SCI was obtained. Besides, 3D gait kinematics of a sample of 50 healthy volunteers was also gathered with Codamotion motion capture system. A total of 302 and 446 strides were collected. GDI was calculated for each stride and grouped for each WISCI II level. HV data were analyzed as an additional set. Normal distribution for each group was assessed with Kolmogorov-Smirnov tests. Afterward, ANOVA tests were performed between each pair of WISCI II levels to identify differences among groups. The results showed that the GDI was normally distributed across all WISCI II levels in both iSCI and HV groups. Furthermore, our results showed an increasing relationship between the GDI values and WISCI II levels in subjects with iSCI, but only discriminative in WISCI II levels 13, 19, and 20. The index successfully distinguished HV group from all the individuals with iSCI. Findings of this study indicated that the GDI is not an appropriate multivariate walking metric to represent the deviation of gait pattern in adult population with iSCI from a normal gait profile when it is compared with the levels of walking impairment described by the WISCI II. Future work should aim at defining and validating an overall gait index derived from 3D kinematic gait variables appropriate for SCI, additionally taking into account other walking ability outcome measures. (shrink)

Libro sumamente valioso. Tras sendas visiones de conjunto, muy logradas, del positivismo en América Latina en general y en Venezuela en particular, siguen capítulos sobre: Adolfo Ernst; Rafael Villavicencio; Vicente Marcano; Lasandro Alvarado; Luis Razetti; Guillermo Delgado Palacios; Luis López Méndez; José Gil Fortoul; Laureano Vallenilla Lanz; César Zumeta y Manuel Arcaya. Tiende a hacer comparaciones con otras manifestaciones del positivismo latinoamericano"--Handbook of Latin American Studies, v. 58.

Recesión de Barrère Unzueta, Mª Ángeles, Discriminación, Derecho antidiscriminatorio y acción positiva en favor de las mujeres, Cuadernos Cívitas, Madrid, 1997, pp. 123.

El propósito de este ensayo es explorar la doctrina política de Platón sobre la democracia a partir del concepto sinergia, es decir, de poder sinérgico, colaboración creativa que reduce los grados de dominación en el régimen político, tal como lo entiende James Craig. Aunque el concepto de poder sinérgico no fue conocido por Platón y ha sido descuidado tanto por la politología como por la filosofía política, considero que es el criterio indispensable para dejar en claro muchas de las ambigüedades (...) del pensamiento platónico. Partimos de la paradójica premisa que Platón pretende crear un autoritarismo absoluto sin dominación. En el desarrollo, se hará evidente que el pensamiento político de Platón está condicionado por unos supuestos que le obligan a aceptar un utopismo irrealizable. Entre esos supuestos destaca la Falacia Angélica, tal como la expone Mortimer Adler. También supone una concepción absolutista de la libertad positiva, así como que la libertad moral atrapada en un estado estancado. La conclusión se resume en un cuadro comparativo entre las características de la utopía platónica y el ideal sinérgico. Destaca en dicho cuadro como Platón toma partido por el autoritarismo virtuoso que condena la transformación política al reino de lo imaginario, en vez de tomar partido por las formas de gobierno compartido. Esto ha dado como resultado histórico la tentación totalitaria de pensar que hay algo mejor que la democracia. Palabras Clave : Platón; política; democracia; sinergia; libertad moral; libertad positiva; falacia angélica. Plato against democracy or the misfortunes of synergyThe purpose of this essay is to explore Plato’s political doctrine on democracy in the light of the concept of synergy, that is to say, of synergic power, which is a creative cooperation that lowers the degrees of domination within the political regime, as is understood by James Craig. Although the concept of synergic power was not known by Plato, and has been neglected by both political science and political philosophy, I consider it to be the indispensable criterion to clarify many ambiguities of Platonic thought. We start from the paradoxical premise that Plato intends to create an absolute authoritarianism without domination. As we progress it will become evident that Plato’s political thought is conditioned by assumptions that make him accept an unfeasible utopianism. Among those assumptions there stands out the Angelical Fallacy, as is exposed by Mortimer Adler. It also implies an absolutistic conception of positive freedom, as well as the idea that moral freedom is trapped in a stagnant state. The conclusion is summed up in a chart comparing the characteristics of Platonic utopia and synergic ideal. In that chart there stands out how Plato takes sides for virtuous authoritarianism, which dooms political transformation to the realm of the imaginary, instead of taking sides for the forms of shared government. This has brought as a historical result the totalitarian temptation of thinking that there might be something better than democracy. Keywords : Plato; Politics; Democracy; Synergy; Moral Freedom; Positive Freedom; Angelical Fallacy. (shrink)

Esquema casi dialéctico del miedo a la muerte.--Iniciación en la angustia. (En torno a Sören Kierkegaard)--Elogio de la vigilia.--Sobre el ser del hombre, ser amenazado.--Ejercicio sobre el misterio.--Descartes, y salto en el saber donante.--Invitación al sondeo inicial en la cuestión del ser.-- Ensayo sobre la subjectividad, y de sus tres transformaciones.

We present four new change detection methods that create an automated change map from a probability map. In this case, the probability map was derived from a 3D model. The primary application of interest is aerial photographic applications, where the appearance, disappearance or change in position of small objects of a selectable class (e.g., cars) must be detected at a high success rate in spite of variations in magnification, lighting and background across the image. The methods rely on an earlier (...) derivation of a probability map. We describe the theory of the four methods, namely Bernoulli variables, Markov Random Fields, connected change, and relaxation-based segmentation, evaluate and compare their performance experimentally on a set probability maps derived from aerial photographs. (shrink)

This study aims to enhance the understanding about the influence of perceived ethical work climate dimensions on employees’ trust in co-workers. The instrument used was Victor and Cullen’s (1988) questionnaire containing five empirically derived types of ethical climate (caring, law and code, rules, instrumentalism, and independence). As hypothesized, the study revealed that the instrumental ethical climate dimension was negatively related, and independent climate was positively related to co-worker trust. Thus, two ethical climate dimensions (independent and instrumental) account for the 22.7 (...) percent variation taking place in co-worker trust while the remaining climate types had no significant impact. The findings may be of help particularly to human resource staff in developing policies to better off relations among employees acknowledging differing potential of ethical climate types. (shrink)

In this paper I present an interpretation of Deleuze's concept of the virtual. I argue that this concept is best understood in relation to the problematic of individuation or differentiation, which Deleuze inherits from Duns Scotus. After analysing Scotus' critique of Aristotelian or hylomorphic approaches to the problem of individuation, I turn to Deleuze's account of differentiation and his interpretation of the calculus in chapter 4 of Difference and Repetition. The paper seeks thereby to explicate Deleuze's dialectics or theory of (...) Ideas, his approach to the principle of sufficient reason, and the concept of the virtual itself. (shrink)

Physicians frequently encounter situations in which their professional practice is intermingled with moral affordances stemming from other domains of the physician’s lifeworld, such as family and friends, or from general morality pertaining to all humans. This article offers a typology of moral conflicts ‘at the margins of professionalism’ as well as a new theoretical framework for dealing with them. We start out by arguing that established theories of professional ethics do not offer sufficient guidance in situations where professional ethics overlaps (...) with moral duties of other origins. Therefore, we introduce the moral theory developed by Christine M. Korsgaard, that centres around the concept of practical identity. We show how Korsgaard’s account offers a framework for interpreting different types of moral conflicts ‘at the margins of professionalism’ to provide either orientation for solving the conflict or an explanation for the emotional and moral burden involved in moral dilemmas. (shrink)

Philosophers of well-being have tended to adopt a foundationalist approach to the question of theory and measurement, according to which theories are conceptually before measures. By contrast, social scientists have tended to adopt operationalist commitments, according to which they develop and refine well-being measures independently of any philosophical foundation. Unfortunately, neither approach helps us overcome the problem of coordinating between how we characterize well-being and how we measure it. Instead, we should adopt a coherentist approach to well-being science.

Downward causation exercised by emergent properties of wholes upon their lower-level constituents’ properties has been accused of conceptual and metaphysical incoherence. Only upward causation is usually peacefully accepted. The aim of this paper is to criticize and refuse the traditional hierarchical-vertical way of conceiving both types of causation, although preserving their deepest ontological significance, as well as the widespread acceptance of the traditional atomistic-combinatorial view of the entities and the relations that constitute the so-called ‘emergence base’. Assuming those two perspectives (...) with no reserves, we are condemned to confine our debate to the question of whether reified wholes can have the power to downwardly change or influence their lower-level parts, a question which seems profoundly misleading to me. I therefore propose an alternative relational ontological view, assuming a straightforward horizontal and intra-level way of representing those putative cases of cross-level causation. I finally confront two recent replies to Kim’s well-known objections to DC—Craver and Bechtel and Kistler :595–609, 2009)—, emphasizing their global positive approaches, as well as the reasons why their accounts still seem insufficient to me. I conclude arguing that both Kim’s principle of the causal closure of the physical domain and its allegation of an overdetermination in cases of DC can be surpassed by the new relational ontological perspective presented here. (shrink)

In this article I address the issue of the ontological conditions of possibility for a naturalistic notion of emergence, trying to determine its fundamental differences from the atomist, vitalist, preformationist and potentialist alternatives. I will argue that a naturalistic notion of ontological emergence can only succeed if we explicitly refuse the atomistic fundamental ontological postulate that asserts that every entity is endowed with a set of absolutely intrinsic properties, being qualitatively immutable through its extrinsic relations. Furthermore, it will be shown (...) that, ironically enough, this metaphysical assumption is implicitly shared by all the above mentioned alternatives to Emergentism. The current article concludes that the notion of organization by itself is not enough, and that ontological emergence can only be justified by assuming a relational ontological perspective that, in opposition both to atomism and holism, defends that the existence-conditions, the identity and the causal behavior of any emergent systemic property can only be conceived, and explained, as constructed by and through specific networks of qualitatively transformative relational processes that occur between the system’s components and between the system and its environment. Additionally, I try to explain how one can make sense of the idea that an emergent phenomenon is both dependent on, and autonomous from, its emergence base. (shrink)

Generating an account that can sidestep the disagreement among substantive theories of well-being, while at the same time still providing useful guidance for well-being public policy, would be a significant achievement. Unfortunately, the various attempts to remain agnostic regarding what constitutes well-being fail to either be an account of well-being, provide useful guidance for well-being policy, or avoid relying on a substantive well-being theory. There are no theory-free lunches in well-being policy. Instead, I propose an intermediate account, according to which (...) well-being is constituted by endorsed veridical experiences. This account refers back to theories of well-being but does so as agnostically as possible. An intermediate account of well-being is meant as a policy guiding compromise between the different theories of well-being that make claims regarding what constitutes well-being. An intermediate account does as well as can be hoped for in providing a basis for well-being policy. (shrink)

To advance current knowledge on ethical decision-making in organizations, we integrate two perspectives that have thus far developed independently: the organizational identification perspective and the ethical climate perspective. We illustrate the interaction between these perspectives in two studies, in which we presented participants with moral business dilemmas. Specifically, we found that organizational identification increased moral decision-making only when the organization’s climate was perceived to be ethical. In addition, we disentangle this effect in Study 2 from participants’ moral identity. We argue (...) that the interactive influence of organizational identification and ethical climate, rather than the independent influence of either of these perspectives, is crucial for understanding moral decision-making in organizations. (shrink)

It is an open question whether well-being ought to primarily be understood as a temporal concept or whether it only makes sense to talk about a person’s well-being over their whole lifetime. In this article, I argue that how this principled philosophical disagreement is settled does not have substantive practical implications for well-being science and well-being policy. Trying to measure lifetime well-being directly is extremely challenging as well as unhelpful for guiding well-being public policy, while temporal well-being is both an (...) adequate indirect measure of lifetime well-being, and an adequate focus for the purposes of improving well-being through public policy. Consequently, even if what we ought to care about is lifetime well-being, we should use temporal measures of well-being and focus on temporal well-being policies. (shrink)

Spoofing is the act of placing orders to buy or sell a financial contract without the intention to have those orders fulfilled in order to create the impression that there is a large demand for that contract at that price. In this article, I deny the view that spoofing in financial markets should be viewed as morally permissible analogously to the way bluffing is permissible in poker. I argue for the pro tanto moral impermissibility of spoofing and make the case (...) that spoofing is disanalogous from bluffing in at least one important regard—speculative trading serves an important economic role, whereas poker does not. (shrink)

The medical profession is observing a rising number of calls to action considering the threat that climate change poses to global human health. Theory-led bioethical analyses of the scope and weight of physicians’ normative duty towards climate protection and its conflict with individual patient care are currently scarce. This article offers an analysis of the normative issues at stake by using Korsgaard’s neo-Kantian moral account of practical identities. We begin by showing the case of physicians’ duty to climate protection, before (...) we succinctly introduce Korsgaard’s account. We subsequently show how the duty to climate protection can follow from physicians’ identity of being a healthcare professional. We structure conflicts between individual patient care and climate protection, and show how a transformation in physicians’ professional ethos is possible and what mechanisms could be used for doing so. An important limit of our analysis is that we mainly address the level of individual physicians and their practical identities, leaving out important measures to respond to climate change at the mesolevels and macrolevels of healthcare institutions and systems, respectively. (shrink)

Often institutions or individuals are faced with decisions where not all claims can be satisfied. Sometimes, these claims will be of differing strength. In such cases, it must be decided whether or not weaker claims can be aggregated in order to collectively defeat stronger claims. Many are attracted to a view, which this chapter calls Limited Aggregation, where this is sometimes acceptable and sometimes not. A new version of this view, Local Relevance, has recently emerged. This chapter seeks to explore (...) and evaluate this view. In order to do so, the chapter offers a more precise interpretation of this basic approach, calling it ‘Sequential Claims-Matching’. The chapter shows how Sequential Claims-Matching avoids problems that dog other Limited Aggregation views but suffers from difficulties and ambiguities of its own. In particular, the chapter shows that it is hard to accommodate some core Limited Aggregation intuitions around tie-break cases within the Local Relevance view. (shrink)

Policy-makers sometimes aim to improve well-being as a policy goal, but to do this they need some way to measure well-being. Instead of relying on potentially problematic theories of well-being to justify their choice of well-being measure, Daniel Hausman proposes that policy-makers can sometimes rely on preference-based measures as evidence for well-being. I claim that Hausman’s evidential account does not justify the use of any one measure more than it justifies the use of any other measure. This leaves us at (...) a loss as to which policy should be chosen in the non-trivial cases for which there is substantial disagreement between the different measures in their assessment of policy. (shrink)

Feelings are conscious mental events that represent body states as they undergo homeostatic regulation. Feelings depend on the interoceptive nervous system (INS), a collection of peripheral and central pathways, nuclei and cortical regions which continuously sense chemical and anatomical changes in the organism. How such humoral and neural signals come to generate conscious mental states has been a major scientific question. The answer proposed here invokes (1) several distinctive and poorly known physiological features of the INS; and (2) a unique (...) interaction between the body (the ‘object’ of interoception) and the central nervous system (which generates the 'subject' of interoception). The atypical traits of the INS and the direct interactions between neural and non‐neural physiological compartments of the organism, neither of which is present in exteroceptive systems, plausibly explain the qualitative and subjective aspects of feelings, thus accounting for their conscious nature. (shrink)

This study examines the challenges of humanism and education in the 21st century as addressed by the German philosopher Peter Sloterdijk in his Elmau Speech (1999). In this lecture, titled _Rules for the Human Zoo_, Sloterdijk argues that the traditional notion of humanism, specifically “humanism as a literary society,” has reached its conclusion, necessitating the development of a new humanism appropriate for the contemporary era. However, the new concept of humanism emerging from what Sloterdijk terms the “anthropotechnic turn” appears to (...) align with the discourses surrounding human enhancement that have emerged in the 21st century, thereby influencing the realm of education. The first half of this article reports on the significant concerns and criticisms expressed by the media at that time regarding this new humanism, which seems to be associated with eugenicist ideas. Taking a step further, this study critically examines the nature of the challenges around education implied by Sloterdijk, specifically the conflict between “friend of humans and friend of Übermensch”, and explores the potential roles and responsibilities of education in the latter part of the paper. (shrink)

Ante una ciencia mal-tratada desde su interior, un ojo enajenado y confundido en su visión, un ser humano cansado y desconfiado de la misma explicación, un mundo necesitado de comprensión y cuidado, ante unos cuantos insistentes de vivir en unos tiempos y espacios fragmentados, aparece la necesidad de escuchar de nuevo a lo propio, a lo primero y fundante como fuerza de transformación. Así, las siguientes letras reconocen un camino fenomenológico y contemplativo en la Gran Madre, la Hytcha Guaia, la (...) Pachamama, el primer gran útero, matriz sagrada que alimenta y nutre lo humano en toda su manifestación.Para la psicología, saber de psyque, de alma, su tarea también está en mirarse, recuperarse y a través de un logos trascendente, integrativo, volver a la sensible y sentida escucha de lo divino como curación, por ello su afirmación a lo mágico, chamánico, potente y sagrado del conocimiento telúrico (de tierra), a la medicina que en ella habita y su sanación. La propuesta es el gran camino de andar la tierra, de sentir, escuchar y estar en conciencia de raíz, un camino de cuidado que constata en cada ritual y experiencia la fuerza espiritual de nuestro saber ancestral indígena como primera y perenne ciencia. (shrink)

The global Covid-19 pandemic has resulted in social and economic disruption unprecedented in the modern era. Many countries have introduced severe measures to contain the virus, including travel restrictions, public event bans, non-essential business closures and remote work policies. While digital technologies help governments and organizations to enforce protection measures, such as contact tracing, their rushed deployment and adoption also raises profound concerns about surveillance, privacy and data protection. This article presents two critical cases on digital surveillance technologies implemented during (...) the Covid-19 pandemic and delineates the privacy implications thereof. We explain the contextual nature of privacy trade-offs during a pandemic and explore how regulatory and technical responses are needed to protect privacy in such circumstances. By providing a multi-disciplinary conversation on the value of privacy and data protection during a global pandemic, this article reflects on the implications digital solutions have for the future and raises the question of whether there is a way to have expedited privacy assessments that could anticipate and help mitigate adverse privacy implications these may have on society. (shrink)

This essay offers a conception of logic by which logic may be considered to be exceptional among the sciences on the backdrop of a naturalistic outlook. The conception of logic focused on emphasises the traditional role of logic as a methodology for the sciences, which distinguishes it from other sciences that are not methodological. On the proposed conception, the methodological aims of logic drive its definitions and principles, rather than the description of scientific phenomena. The notion of a methodological discipline (...) is explained as a relation between disciplines or practices. Logic serves as a methodological discipline with respect to any theoretical practice, and this generality, as well as logic’s reflexive nature, distinguish it from other methodological disciplines. Finally, the evolution of model theory is taken as a case study, with a focus on its methodological role. Following recent work by John Baldwin and Juliette Kennedy, we look at model theory from its inception in the mid-twentieth century as a foundational endeavour until developments at the end of the century, where the classification of theories has taken centre-stage. (shrink)

In this paper I discuss a prevailing view by which logical terms determine forms of sentences and arguments and therefore the logical validity of arguments. This view is common to those who hold that there is a principled distinction between logical and nonlogical terms and those holding relativistic accounts. I adopt the Tarskian tradition by which logical validity is determined by form, but reject the centrality of logical terms. I propose an alternative framework for logic where logical terms no longer (...) play a distinctive role. This account employs a new notion of semantic. (shrink)

Many philosophers reject the view that well-being over a lifetime is simply an aggregation of well-being at every moment of one's life, and thus they reject theories of well-being like hedonism and concurrentist desire satisfactionism. They raise concerns that such a view misses the importance of the relationships between moments in a person's life or the role narratives play in a person's well-being. In this article, we develop an atomist meta-theory of well-being, according to which the prudential value of a (...) life depends solely on the prudential value of each moment of that life. This is a general account of momentary well-being that can capture different features of well-being that standard atomistic accounts fail to capture, thus allowing for the possibility of an atomism that is compatible with a variety of well-being theories. Contrary to many criticisms leveled against momentary well-being, this well-being atomism captures all of the important features of well-being. (shrink)

One of the foundational problems of biochemistry concerns the conceptualisation of the relationship between the composition, structure and function of macromolecules like proteins. Part of the recent philosophical literature displays a reductionist bias, that is, the endorsement of a form of microstructuralism mirroring an out-dated biochemical conceptualisation. We shall argue that such microstructuralist approaches are ultimately committed to a potentialist form of micro-predeterminism whereby the macrostructure and function of proteins is accounted for solely in terms of the intrinsic properties and (...) potentialities of the components of the primary structure as if they were self-contained or essentially immutable entities. We shall instead suggest that a conceptualisation of the relationship between proteins’ composition, structure and function consistent with contemporary biochemical practice should account also for the causal role of the cellular, organismal and environmental relations in protein development. The analysis of the folding process we propose suggests that microstructure-laden reductionist approaches are ontologically indefensible. Rather than a potentialist form of micro-predeterminism, our analysis ultimately supports a relational-construction-based view of protein development and potentialities formation, which requires an indispensable analysis of the dynamical interplay between the micro-level of the parts and the macro-level of the relational structures of their systems. (shrink)